Este estudo se dispõe a reflexão sobre a relação entre o Direito Tributário e a proteção ambiental, pela análise das normas regulatórias tributárias, atuando como agente desestimulador de condutas degradantes ao meio ambiente. Normas tributárias podem ser utilizadas como instrumentos estimuladores do desenvolvimento sustentável e desestimuladores de condutas degradantes ambientais. A Constituição Federal estabeleceu as premissas do desenvolvimento econômico. A empresa deve atender a critérios, como desenvolver-se promovendo redução de desigualdades sociais, atendendo às relações de consumo e preservação ambiental. Neste (...) artigo se demonstra a importância das normas tributárias extrafiscais na regulação e contenção de danos ambientais. (shrink)

BackgroundResearch during 2020 has been rapidly attending to the impact of COVID-19 on various dimensions of wellbeing on adults and children around the world. However, less attention has focused on the psychoeducational impact on children and their families. To our knowledge, no currently available studies have looked specifically at the impact of COVID-19 on students with dyslexia and their families. Research on this topic is needed to offer greater support for this population of students and their families.ObjectiveThe main objective of (...) this paper is to examine the psychoeducational impact of the required COVID-19 quarantine in Spain among children with dyslexia and their families.MethodA sample of 32 children with dyslexia and their mothers participated in this study.MeasuresChildren and adolescents with dyslexia and their mother completed several measures before the required national quarantine in Spain and again during the quarantine. Children completed measures of depression, state anxiety, reading activity, and reading motivation. Mothers provided demographic information and completed measures related to students’ emotional and behavioral difficulties as well as parenting stress, parental distress, and a questionnaire about educational problems during quarantine.ResultsMajor findings showed that during quarantine, children with dyslexia had increased levels of depression and anxiety symptoms, and parents perceived their children as having more emotional symptoms, hyperactivity-inattention, and conduct problems. During quarantine, children and adolescents with dyslexia also showed less reading activity and less reading motivation. Parents also reported significantly more stress, during quarantine compared to pre-quarantine conditions. Some demographic and psychological variables predicted children’s state anxiety as well parental stress. The questionnaire related to impacts of quarantine also revealed several important findings. For example, nearly all parents of children with dyslexia reported difficulties in establishing study routines, that the quarantine negatively affected their child’s learning, and that they did not receive sufficient help from teachers on how to support their child’s learning. Additionally, the vast majority of the parents were very worried about the child’s learning and school success, the child’s motivation and interest in reading, the child’s peer relations, and the professional skills of the child’s teacher.ConclusionThis study offers a preliminary investigation into this topic and elucidates several psychoeducational challenges that children with dyslexia and their families have experienced during the quarantine in Spain. Study findings highlight the need to provide immediate support for children with dyslexia and emphasizes the importance of developing prevention programs to mitigate any future negative impacts of COVID-19 on children with dyslexia and their parents. (shrink)

This original article outlines a theoretical path and posterior critical analysis regarding two relevant matters in modern nursing: patterns of knowing in nursing and commodification contexts in contemporary health systems. The aim of our manuscript is to examine the development of basic and contextual nursing knowledge in commodified contexts. For this purpose, we outline a discussion and reflexive dialogue based on a literature search and our clinical experience. To lay the foundation for an informed discussion, we conducted a literature search (...) and selected relevant articles in English, Spanish, and Portuguese that included contents on patterns of knowing, commodification, and nursing published from 1978 to 2017. Globalization, commodification, and austerity measures seem to have negative effects on nursing. Work conditions are worsening, deteriorating nurse–patient relationships, and limiting reflection on practice. Nurses must develop knowledge to challenge and participate in institutional organization and public health policies. Development of nursing knowledge may be difficult to achieve in commodified environments. Consequently, therapeutic care relationships, healthcare services, and nurses' own health are compromised. However, by obtaining organizational, sociopolitical, and emancipatory knowledge, nurses can use strategies to adapt to or resist commodified contexts while constructing basic knowledge. (shrink)

Child-to-parent violence is a growing public health problem with consequences for perpetrators and families. Most research has focused on individual and family risk factors. However, little is known about its links with individual outcomes. The aim of this study was to analyze the relationships between CPV and psychological distress, suicidal ideation, and self-concept in school-aged adolescents, taking into account the gender perspective. A study was conducted with a sample of 8,115 adolescents, aged between 11 and 16 years from the State (...) of Nuevo León, Mexico. A MANOVA 3 × 2 was performed to analyze the data. The results revealed that adolescents involved in CPV showed higher levels of psychological distress and suicidal ideation and lower levels of family and social self-concept. It was also observed that girls with higher levels of CPV scored the lowest levels of psychological distress and suicidal ideation, as well as the lowest levels of family self-concept. The findings highlight that adolescents and especially girls involved in CPV also report internal maladjustment outcomes. Finally, the results and their implications for research and intervention with adolescents involved in CPV are discussed. (shrink)

BackgroundThe H2020 i-CONSENT project has developed a set of guidelines that offer ethical recommendations and practical tools aimed at making the informed consent process in clinical studies more comprehensive, tailored, and inclusive. An analysis of the appropriateness of some of its novel recommendations was carried out by a group of experts representing different stakeholders.MethodsAn adaptation of the RAND/ucla Appropriateness Method was used to assess the level of agreement on the recommendations among 14 representatives of different stakeholders, including patients, regulators, investigators, (...) ethics experts, and the pharmaceutical industry. The process included two rounds of rating and a virtual meeting.ResultsFifty-three recommendations were evaluated. After the first round, 34 recommendations were judged “appropriate”; 19 were judged “uncertain”; and none was judged “inappropriate”. After the second round, 9 “uncertains” changed to “appropriate”. All recommendations rated medians of 6.5–9 on a 1–9 scale (1 = “extremely inappropriate”, 5 = “uncertain”, 9 = “extremely appropriate”). The sections “General recommendations” and “Gender perspective during the consent process for clinical studies” showed the highest “uncertainty” rating. The four keys to improving the understanding of the ICP in clinical studies are to: (1) consider consent a two-way continuous interaction that begins at the first contact with the potential participant and continues until the end of the study; (2) improve investigators’ communication skills; (3) co-create the information; and (4) use a layered approach, including information to compensate for the potential participant’s possible lack of health literacy and a glossary of terms.ConclusionsThe RAND/ucla method has demonstrated validity for assessing the appropriateness of recommendations in ethical guidelines. The recommendations of the i-CONSENT guidelines were mostly judged “appropriate” by all stakeholders involved in the informed consent process. (shrink)

Este artigo estuda o papel de Jacobi nas transformações do pensamento de Fichte e de Hegel. (1) Começamos por evidenciar como as Cartas a Moses Mendelssohn de Jacobi e a subsequente querela do panteísmo contribuíram para trazer para o centro da discussão, no final do Séc. XVIII, a ideia de uma filosofia monista. (2) Mostramos então a importância da crítica de Jacobi a Kant para os desenvolvimentos seguintes, abordando (3) o seu impacto na evolução da Doutrina da ciência de Fichte (...) e, (4) por fim, como o pensamento de Jacobi acerca da função da mediação no conhecimento condicionou Hegel. (shrink)

The acoel worm Symsagittifera roscoffensis, an early offshoot of the Bilateria and the only well‐studied marine acoel that lives in a photosymbiotic relationship, exhibits a centralized nervous system, brain regeneration, and a wide repertoire of complex behaviors such as circatidal rhythmicity, photo/geotaxis, and social interactions. While this animal can be collected by the thousands and is studied historically, significant progress is made over the last decade to develop it as an emerging marine model. The authors here present the feasibility of (...) culturing it in the laboratory and describe the progress made on different areas, including genomic and tissue architectures, highlighting the associated challenges. In light of these developments, and on the ability to access abundant synchronized embryos, the authors put forward S. roscoffensis as a marine system to revisit questions in the areas of photosymbiosis, regeneration, chronobiology, and the study of complex behaviors from a molecular and evolutionary perspective. (shrink)

Se ha intentado realizar una traducción literal del texto de Lambert. En contadas ocasiones se han substituido construcciones sintácticas del alemán por otras que facilitan, a juicio del traductor, la lectura del texto en español. Asimismo, en algunos pasajes se han alterado los signos de puntuación, con la finalidad señalada.

The relationships among character strengths (forgiveness and gratitude), happiness, and pro-social bystander behavior in bullying were analyzed. The sample includes 500 (early adolescents) and 500 (middle adolescents) of both genders, between 12 and 18 years old (M age = 14.70, SD = 1.58). Two structural equation models were calculated. Results of the first model indicated that forgiveness, gratitude, and happiness had a direct positive relation with pro-social bystander behavior. Furthermore, human strengths were indirectly related to prosocial behavior in bullying for (...) this effect in happiness. The second model showed that pro-social bystander behavior had a positive effect on human strengths and happiness. Multi-group analyses indicated that gender and stage of adolescence did not moderate the relations found in the model. Overall findings suggest a reciprocal relationship between character strengths, happiness, and pro-social bystander behavior. (shrink)

Al intentar establecer cuánto debe Nietzsche a Spinoza en la configuración de su visión radical del mundo y quién de los dos da los pasos más decisivos en la disolución de la trascendencia, encontramos diversas dificultades. La primera es que la disputa acerca del ateísmo spinociano parece que no podrá nunca dirimirse en un grado aceptable. La segunda dice relación con la imagen que Nietzsche tiene de Spinoza en tanto puede considerarse sesgada debido al conocimiento indirecto de su obra. La (...) tercera es que para determinar, en parte, qué adeuda la interpretación de Nietzsche al filósofo holandés, se requiere hacer un análisis exhaustivo y pormenorizado de sus autores fuente. Tomando en cuenta estas complejidades, el autor del artículo defiende que para formarse una idea adecuada de la deuda del radicalismo de Nietzsche con Spinoza y para juzgar quién de ellos nos precipita con más relevancia a la pura inmanencia, es necesario ir estudiando sus lecturas sobre el filósofo judío, incluso las más descuidadas, más allá de Kuno Fischer. De acuerdo con ello, en este escrito se analizan dos lecturas de Nietzsche poco utilizadas en esta reflexión, a saber: Heinrich Heine y Jean-Marie Guyau. Se asume así que, para alcanzar un nivel más alto de claridad en el tema estudiado, se ha de acotar el marco bibliográfico en el que se ha de realizar la hermenéutica de Nietzsche y sus fuentes. Teniendo presente estos presupuestos, se compara el panteísmo, la desantropomorfización del mundo y el conatus sese conservandi de Spinoza, con el monismo, la extramoralidad del mundo y la voluntad de poder de Nietzsche, respectivamente, para evaluar el alcance del radicalismo cosmológico de uno y otro autor. (shrink)

The objective of this work is to establish a relationship between the cutting time in rocks, determining a speed and the point load strength index test, Is, to characterize the rock in terms of resistance and avoid sending samples to laboratories. As a first stage, on andesite samples, 5 x 5 x 10 cm test tubes were made. After the elaboration they were subjected to cutting, using an electric floor cutter and the time was evaluated. This cut was made in (...) a transversal way and two parts were obtained, one of them with dimensions 5 x 5 x 5 cm, approximately. In a third stage, the point load strength test was carried out in a press built for this purpose. Finally, the cutting speeds were correlated with the point load test values and only when rock samples do not pigeonhole on the proposed relationship, send them to the laboratory. Keywords: Mining fortification, uniaxial compressive strength, rock cutting, point load strength test index. References [1]P. Feijoo, R. Aucay, D. Ordoñez, "Aplicación del esclerómetro para la determinación de resistencia a compresión de rocas", presentado en el IV Congreso Internacional de Minería y Metalúrgia, Varadero, Cuba, 2018. [2]P. Feijoo y M. Román, «Correlación entre la Deformación y la Resistencia a la Compresión de rocas», uct, vol. 23, n.º 91, p. 6, may. 2019. [3]P. Feijoo, A. Bravo, N. Escandón, "Aplicación “UDAFORMIN” para la determinación del tipo de fortificación minera", presentado en el XII Congreso Iberoamericano de Computación para el Desarrollo, San Salvador, El Salvador, 2019. [4]P. Feijoo y C. Iñiguez, «Corte en las Rocas y su Relación con la Resistencia a Comprensión Simple», RISTI, n.º E 30, p. 59-67, jun. 2020. [5]P. Feijoo y J. Padrón, «La Resistividad de Rocas y su Relación con la Resistencia a Comprensión Simple en Mina», UCT, vol. 24, n.º 99, pp. 61-67, abr. 2020. [6]M. González. El terreno. Ediciones UPC. Barcelona. España, 2001. [7]E. Besoain. Mineralogía de Suelos. Turrialba: Instituto Interamericano de Ciencias Agrícolas de la OEA, 1970. [8]P. Feijoo, A. Flores, B. Feijoo, "The Concept of the Granulometric Area and Its Relation with the Resistance to the Simple Compression of Rocks", presentado en la 7th International Engineering, Sciences and Technology Conference, Panamá, Panamá, 2019, pp. 52-56, doi: 10.1109/IESTEC46403.2019.00018. [9]F. Blyth. Geología para Ingenieros. Cecsa. México D. F. México, 2003. [10] E. Tarbuck & F. Lutgens. Ciencias de la Tierra: Una introducción a la Geología Física. Pearson. Madrid. España, 2005. [11]L. Suarez del Rio, A. Rodríguez, L. Calleja, V. Ruiz de Argandoña, «El corte de rocas ornamentales con discos diamantados: influencia de los factores propios del sistema de corte», CSIC, vol. 48, n.º 250, pp. 53-59, abr-mayjun 1998. [12]Universidad Politécnica de Madrid. Explotaciones de Roca Ornamental. Diseño de explotaciones y selección de maquinaria y equipos. UPM. Madrid. España, 2007. [13]Catalog, Covington,. LAPIDARY & GLASS MACHINERY, USA. Retrieved from https://covington-engineering.com/content/pdf/Covington-Catalog.pdf. [14]D. Burbano, T. García, «Estimación empírica de la resistencia a compresión simple a partir del ensayo de carga puntual en rocas anisótropas », FIGEMPA, vol.1, n.º 2, pp. 13-16, dic. 2016. [15]P. Ramírez, L. de la Cuadra, R. Lain, E. Grigalbo. Mecánica de rocas aplicada a la minería metálica subterránea. Instituto Geológico Minero. Madrid. España, 1984. [16]P. Cordero, "Manual de prácticas de laboratorio de Mecánica de Rocas " tesis, Universidad Nacional Autónoma de México, México D.F., México, 2019. [17]L. González de Vallejo, M. Ferrer. Manual de campo para la descripción y caracterización de macizos rocosos en afloramientos. Instituto Geológico y Minero de España. Madrid. España, 2007. [18]P. Pohjanpera, T. Wanne, E., Johansson. Point Load Test Results From Olkiluoto Area Borehole Cores. Posiva. Finlandia, 2005. [19]P. Ramírez, L. Alejano. Mecánica de rocas: fundamentos e ingeniería de taludes. Universidad Politécnica de Madrid. Madrid. España, 2004. [20]M. Navarrete, W. Martínez, E. Alonso, C. Lara, A. Bedolla, H. Chávez, D. Delgado, J. Arteaga. «Caracterización de propiedades físico-mecánicas de rocas ígneas utilizadas en obras de infraestructura», ALCONPANT, vol. 3, n.º 2, pp. 133-143, ago. 2013. [21]P. Feijoo, "Manual de mecánica de rocas y estabilidad de túneles y taludes" tesis, Universidad del Azuay, Cuenca, Ecuador, 1997. (shrink)

In this paper we will consider the existing notions of bilateralism in the context of proof-theoretic semantics and propose, based on our understanding of bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under this name before in that we do not consider multiple speech acts as the core of such a theory but rather multiple consequence relations. We will argue that for this aim the most beneficial proof-theoretical realization is to use sequent calculi with (...) multiple sequent arrows satisfying some specific conditions, which we will lay out in this paper. We will unfold our ideas with the help of a case study in logical tetralateralism and present an extension of Almukdad and Nelson’s propositional constructive four-valued logic by unary operations of meaningfulness and nonsensicality. We will argue that in sequent calculi with multiple sequent arrows it is possible to maintain certain features that are desirable if we assume an understanding of the meaning of connectives in the spirit of proof-theoretic semantics. The use of multiple sequent arrows will be justified by the presence of congruentiality-breaking unary connectives. (shrink)

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. (...) The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore, we will show that the idea of inferential ineffectiveness of contradictions can be conceptually separated from the cancellation model of negation by developing a system we call qLPm, a combination of Graham Priest’s (...) minimally inconsistent Logic of Paradox with q-entailment as introduced by Grzegorz Malinowski. (shrink)

In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds (...) model validating precisely the same formulas (of the language in question). (shrink)

Connexive logic has room for two pairs of universal and particular quantifiers: one pair, |$\forall $| and |$\exists $|⁠, are standard quantifiers; the other pair, |$\mathbb{A}$| and |$\mathbb{E}$|⁠, are unorthodox, but we argue, are well-motivated in the context of connexive logic. Both non-standard quantifiers have been introduced previously, but in the context of connexive logic they have a natural semantic and proof-theoretic place, and plausible natural language readings. The results are logics that are negation inconsistent but non-trivial.

This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.

This chapter is concerned with logical aspects of negation, i.e. with the role of negation in valid inferences and hence with the contribution negation makes to the truth and falsity conditions of declarative expressions. Negation is an important philosophical and logical concept. Often differences between logical systems can ‐ at least partially ‐ be described as differences between the notions of negation used in these logics.

No detailed description available for "Negation".

This paper deals with various substructural propositional logics, in particular with substructural subsystems of Nelson's constructive propositional logics N– and N. Doen's groupoid semantics is extended to these constructive systems and is provided with an informational interpretation in terms of information pieces and operations on information pieces.

Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.

Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making (...) use of modalities that assert the existence of a proof, introducing a variant of justification stit logic based on a semantics introduced by M. Fitting, and adding variable-binding operators and extending the set of proof polynomials. (shrink)

Graham Priest takes the relation of identity to be non-transitive. In this paper, we are going to discuss several consequences of identity as a non-transitive relation. We will consider the Henkin-style completeness proof for classical first-order logic with a non-transitive “identity” predicate, Leibniz-identity in Priest’s second-order minimal logic of paradox, and the question whether or not identity of individuals should be defined as Leibniz-identity.

§ 1. Prolegomena 1. Die Logik, die in diesem Lehrbuch entwickelt wird, ist bestimmt durch die folgenden Kennzeichen: (1) Sie fuBt auf derselben Ontologie wie die von erkennbaren Wider­ sprlichen befreite und in diesem Sinne vertretbare klassische Mathe­ matik. Flir diese Ontologie ist charakteristisch die Grundvoraussetzung, daB die Objekte der Mathematik und mit ihnen die mathematischen Bereiche an sich existieren, wie die platonischen Ideen. Mit Bezug auf diesen An-sich-Charakter sprechen wir von einer platonischen Ontologie. Flir diese Ontologie existieren die unendlichen (...) Bereiche beliebig hoher Machtigkeit als fertig vorliegende Objekte in derselben Art wie die durch Aufzahlung ihrer Elemente erfaBbaren endlichen Mengen und in gleichem Range mit ihnen. Die weittragenden Folgen dieser Auffassung sind in zwei Haupt­ punkten konzentriert. Erster Hauptpunkt: die Beurteilung der Potenz­ mengen. Mit den abzahlbaren Mengen existieren, genauso wie im end­ lichen Falle, auch ihre Potenzmengen, mit dem ihnen zukommenden Charakter der Uberabziihlbarkeit. Das Uberabzahlbare steht also gleich­ berechtigt neben dem Abzahlbaren. Zweiter Hauptpunkt: der flir den Platonismus charakteristische Gehalt des ausgeschlossenen Dritten. Es genligt hier, die mengentheoretische Formulierung dieses Prinzips ins Auge zu fassen. Sie besagt, daB eine flir die Elemente einer beliebigen Menge, also mit EinschlieBung der unendlichen Mengen von einer be­ liebigen Machtigkeit erklarte Eigenschaft allen Elementen der Menge zukommt oder es gibt (wenigstens) ein Mengenelement, dem sie nicht zukommt, unabhangig davon, ob ein solches Element angegeben werden kann oder nicht. Ein Anwendungsfall ist das der elementaren Zahlen­ theorie angeh6rige Prinzip der kleinsten Zahl. (shrink)

It is shown that the constructive four-valued logic N4 can be faithfully embedded into the modal logic S4. This embedding is used to obtain complete, cut-free display sequent calculi for N4 and C4, the modal logic of consistency over N4. C4 is a natural monotonic base system for semantics-based non-monotonic reasoning.

The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem''s modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap''s display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to (...) be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules. (shrink)